61. On the Syllogism
المؤلف: / by Augustus De Morgan
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and Mathematical,Syllogism,منطق ریاضی,قیاس
رده :
BC135
.
D4O5
1966
62. Paradoxes
المؤلف: / Roy T. Cook
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Paradox,Logic, Philosophy,پارادوکس,منطق ریاضی -- فلسفه
رده :
BC199
.
C6
,
P32
2013
63. Perspectives in Computational Complexity
المؤلف: \ Manindra Agrawal, Vikraman Arvind Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a03,a03
رده :
E-Book
,
64. Philosophy and logical syntax
المؤلف: /by Rudolf Carnap.,ک‍ارن‍اپ,Carnap
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی,زبان,فلسفه
رده :
BC
۱۳۵
/
ک
۲
ف
۲ ۱۳۱۴
65. Philosphie=Mathematiques et vocabulaire philosophique
المؤلف: /Par L.Dugas.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
QA
۹
/
د
۸
ف
۹ ۱۲۹۸
66. Principles and Practice of Constraint Programming
المؤلف: \ Gilles Pesant (ed.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
67. Propositional calculus
المؤلف: /P.H. Nidditch
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی
رده :
BC
۱۳۵
/
ن
۹
پ
۴ ۱۳۴۱
68. Quantifiers, Quantifiers, and Quantifiers
المؤلف: \ Alessandro Torza Editor
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Language and logic,Logic, symbolic and mathematical,زبان و منطق,منطق ریاضی,a03,a05,a03,a05,Grammar, Comparative and general -- Quantifiers.,دستور زبان تطبیقی -- سورها
رده :
BC
57
.
Q25
2015
E-Book
,
69. Set theory and logic
المؤلف: / Robert R. Stoll
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: نظریه مجموعه‌ها,منطق ریاضی
رده :
QA
۲۴۸
/
الف
۵
س
۴ ۱۳۴۲
70. Special Topics in Mathematics for Computer Scientists
المؤلف: \ Ernst-Erich Doberkat
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Computer science -- Mathematics.,علوم کامپیوتر -- ریاضیات
رده :
QA
76
.
9
..
M35S6
2015
E-Book
,
71. Symbolic Logic
المؤلف: \ Irving M Copi
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical. ,منطق ریاضی
رده :
BC135
.
C58S9
2015
72. <The> Arché papers on the Mathematics of Abstraction
المؤلف: \ edited by Roy T. Cook.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
73. <The> Elements of Advanced Mathematics
المؤلف: \ Steven G. Krantz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
74. <The> Essential Turing
المؤلف: \ Edited by B. Jack Copeland
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Turing, Alan, 1912-1954.,ت‍ری‍ن‍گ، آل‍ن م‍ات‍ی‍س‍ن، ۱۹۱۲ - ۱۹۵۴م.
رده :
E-Book
,
75. The Logic Book
المؤلف: / Merrie Bergmann, James Moor, Jack Nelson.,برگمن,Bergmann
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی,حمل (منطق)
رده :
BC
۱۳۵
/
ب
۴
ل
۲ ۱۳۸۲
76. <The> Logic of Reliable Inquiry
المؤلف: \ Kevin T. Kelly.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Research-- Methodology.,Research-- Evaluation.,Logic, Symbolic and mathematical.,Cognitive learning theory., تحقیق -- روش‌شناسی, تحقیق -- ارزشیابی,منطق ریاضی
رده :
Q
180
.
55
.
M4K45
1996
E-book
,
77. <The> Logical Foundations of Scientific Theories
المؤلف: \ Décio Krause and Jonas R. B. Arenhart
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, Symbolic and mathematical,منطق ریاضی
رده :
E-Book
,
78. The Oxford handbook of philosophy of mathematics and logic
المؤلف: / edited by Stewart Shapiro.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه, -- فلسفه
رده :
QA
۸
/
۴
/
آ
۷ ۱۳۸۴
79. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: /by Kurt Godel.,گودل,Godel
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
80. The language of logic
المؤلف: / a programed text [by] Morton L. Schagrin.
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: منطق ریاضی -- آموزش برنامه ای
رده :
BC
۱۳۵
/
ش
۲
ل
۹ ۱۳۴۷
